$\forall$$A$:MsgA, $k$:Knd. ma{-}has{-}effect($A$;$k$) $\in$ Prop